territorio(n0).
territorio(n1).
territorio(n2).
territorio(n3).
territorio(n4).
territorio(n5).
territorio(n6).
territorio(n7).
territorio(n8).
territorio(n9).
territorio(n10).
territorio(n11).
confinante(n0, n1).
confinante(n0, n3).
confinante(n0, n4).
confinante(n1, n8).
confinante(n1, n4).
confinante(n1, n2).
confinante(n2, n8).
confinante(n2, n9).
confinante(n3, n5).
confinante(n3, n4).
confinante(n4, n8).
confinante(n4, n6).
confinante(n4, n5).
confinante(n5, n6).
confinante(n6, n7).
confinante(n7, n10).
confinante(n7, n11).
confinante(n8, n10).
confinante(n8, n9).
confinante(n9, n10).
confinante(n10, n11).
amico(n2).
nemico(n0).
nemico(n1).
nemico(n3).
nemico(n4).
nemico(n5).
nemico(n6).
nemico(n7).
nemico(n8).
nemico(n9).
nemico(n10).
nemico(n11).
truppe(n0,bassa).
truppe(n1,bassa).
truppe(n2,alta).
truppe(n3,bassa).
truppe(n4,bassa).
truppe(n5,bassa).
truppe(n6,bassa).
truppe(n7,bassa).
truppe(n8,bassa).
truppe(n9,bassa).
truppe(n10,media).
truppe(n11,bassa).
continente(n256).
continenteConvenienza(n256,bassa).
continente(n16777012).
continenteConvenienza(n16777012,bassa).
continente(n32633).
continenteConvenienza(n32633,bassa).
appartieneA(n256,n0).
appartieneA(n256,n1).
appartieneA(n256,n2).
appartieneA(n256,n3).
appartieneA(n256,n4).
appartieneA(n16777012,n8).
appartieneA(n16777012,n9).
appartieneA(n16777012,n10).
appartieneA(n16777012,n11).
appartieneA(n32633,n5).
appartieneA(n32633,n6).
appartieneA(n32633,n7).
continenteDaConq(X) :- continenteConvenienza(X, alta), truppe(Y, bassa), nemico(Y), appartieneA(X,Y).
continenteDaConq(X) :- continenteConvenienza(X, media), truppe(Y, bassa), nemico(Y), appartieneA(X,Y).
terrAttaccante(X) :- amico(X), confinante(X,Y), nemico(Y), truppe(X,media), truppe(Y,bassa).
terrAttaccante(X) :- amico(X), confinante(Y,X), nemico(Y), truppe(X,alta), truppe(Y,bassa).
terrDaEvitare(X) :-  amico(X) , confinante(Y,X) , nemico(Y) ,truppe(Y , alta) , truppe(X,bassa) terrDaEvitare(X) :-  amico(X) , confinante(X,Y) , nemico(Y) ,truppe(Y , alta) , truppe(X,bassa) 